141. Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Functional programming )Computer science(-- Congresses,، Parallel programming )Computer science(-- Congresses,، Automatic theorem proving-- Congresses,، Computer simulation-- Congresses
رده :
QA
76
.
6
.
F853
1993
142. Fundamental algorithms for computer graphics
پدیدآورنده : NATO Advanced Study Institute on Fundamental Algorithms for Computer Graphics, )5891, Ilkley, West Yorkshire(
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Computer algorithms-- Congresses,، Computer graphics-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
143. GI-4. Jahrestagung, Berlin, 9-12. Oktober 1974
المؤلف: Herausgegeben in Auftrag der GI von D. Siefkes
المکتبة: (طهران)
موضوع: Congresses ، Electronic data processing,Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
26
144. GI - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975
المؤلف: Herausgegeben im Auftrag der GI von J. Muhlbacher
المکتبة: (طهران)
موضوع: Congresses ، Electronic data processing,Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
34
145. GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen : Braunschweig, 20-22, 3. 1974
المؤلف: hrsg. von H.O. Leilich
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers
رده :
QA
76
.
L4
v
.
8
146. GI-NTG Fachtagung struktur und Betrieb von Recheusystemen, Braunschweig 20-22. 3. 1974 im Auftrag der GI und der NTG
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Electronic digital computers-- Evaluation-- Congresses
رده :
QA
76
.
6
.
G18
1974
147. GI-NTG : fachtagung struktur und betrieb von Rechensystemen : Braunschweig, 20-22, 3, 1974
المؤلف: Herausgegeben in Auftrag der GI und der NTG von H.-O. Leilich
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Evaluations -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
8
148. HOPL III
المؤلف: sponsored by ACM SIGPLAN ; in-cooperation with ACM SIGSOFT.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Programming languages (Electronic computers)-- History, Congresses.
149. Hardware description languages and their applications: specification, modelling, verification and synthesis of microelectronic systems: IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Design and construction-- Data processing-- Congresses,، Digital electronics-- Data processing-- Congresses,، Programming language )Electronic computers(-- Congresses
رده :
TK
7888
.
3
.
I57
1997
150. High-Speed computation
المؤلف: / Edited by Janusz S. Kowalik
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Parallel processing (Electronic computer) - Congresses,Electronic digital computers - Congresses,Multiprocessors - Congresses
رده :
QA76
.
6
.
H534
151. High-speed computation
المؤلف:
المکتبة: (طهران)
موضوع: PARALLEL PROCESSING )ELECTRONIC COMPUTER , ELECTRONIC DIGITAL COMPUTERS-CONGRESSES , MULTIPROCESSORS-CONGRESSES
رده :
QA
76
.
6
.
N376
1983
152. High speed computation
المؤلف: Edited by laansz S.kowaliko
المکتبة: (کرمان)
موضوع: Parallel processing )Electronic computers( - congresseP,Electronic digital computer - congresses,Multiprocessors congeresse
رده :
QA
76
.
6
.
H534
153. High speed computation
المؤلف: Edited by laansz S.kowaliko
المکتبة: (کرمان)
موضوع: Parallel processing )Electronic computers( - congresseP,Electronic digital computer - congresses,Multiprocessors congeresse
رده :
QA
76
.
6
.
H534
154. High-speed computation
المؤلف: edited by Janusz S. Kowalik
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic digital computers,Congresses ، Multiprocessors
رده :
QA
76
.
6
.
N376
1984
155. High speed computer and algorithm organization : )proceedings of the Symposium on High Speed Computer and Algorithm Organization, held at the University of Illinois April 13-15, 1977(
المؤلف: Symposium on High Speed Computer and Algorithm Organization, 7791, University of Illinois
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Congresses,، Computer algorithms-- Congresses
رده :
QA
76
.
5
.
S95
1977
156. High speed computer and algorithm organization. ]proceedings of the Symposium on High Speed Computer and Algorithm Organization, held at the University of Illinois April 13-15, 1977[
المؤلف: edited by David J. Kuck, Duncan H. Lawrie, Ahmed H. Sameh
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Electronic digital computers- Congresses,، Computer algorithms- Congresses
رده :
QA
76
.
5
.
S95
157. How to make computers easier to use : digest of papers
المؤلف: Compcon, )11th, 5791, Washington, D.C.(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Computer engineering-- Congresses
رده :
QA
76
.
6
.
C6276
1975
158. Hybrid systems
المؤلف: / Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Hybrid computers--Congresses,Digital control systems--Congresses
رده :
QA
,
76
.
38
,.
H73
,
2007
159. IEEE International Conference on Computer Design : VLSI in computer & processors : proceedings : ICCD 2004, 11-13 October 2004, San Jose, CA
المؤلف: sponsored by IEEE Computer Society, IEEE Circuits and Systems Society; in cooperation with IEEE Electron Devices Society
المکتبة: (طهران)
موضوع: Design and construction -- Congresses ، Microcomputers,Congresses ، Electronic digital computers -- Circuits,Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Computer engineering
رده :
TK
7888
.
3
.
I343
2004
160. Intelligent and congnitive systems: Proceedings of the International Conference on Intelligent Systems Research Faculty, September 23-26, 1996, Tehran, Ira
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Cognition-- Mathematical models-- Congresses,، Cognition-- Data processing-- Congresses,، Cognition science-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
BF
311
.
I5664
1996